REF, NoConds
Decide a == Decide a   

latex

---

clarification:

REF, NoConds
Decide a == Decide a   

latex

Up	Tactics as terms
FDL editor aliases	-dec